Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
281	2010 IEEE International Conference on Robotics and Automation Anchorage Convention District May 3-8, 2010, Anchorage, Alaska, USA Synchronizing the Motion of a Quadrocopter to Music Angela Sch¨ollig, Federico Augugliaro Add to Reading List Source URL: flyingmachinearena.org Language: English - Date: 2014-03-03 11:03:59 Wave mechanics Electronics Electronic design Oscillators Phase-locked loop Feedforward control Control theory Phase Damping Physics Electronic engineering Physical quantities
282	TEAM SUPPORT GRANT APPLICATION FORM - ANNUAL PREPARATION PROJECT National Olympic Committee Sport Add to Reading List Source URL: www.grenadaolympic.com Language: English - Date: 2013-01-31 16:02:54 Electronic design automation Network On Chip
283	/ the right development Hardware Design Language (HDL) Hardware Design Language Add to Reading List Source URL: www.technolution.eu Language: English - Date: 2014-12-01 10:24:55 Design Digital electronics Hardware description languages Diagrams Infographics Schematic Open-source hardware Electronic engineering Electronic design automation Technical communication
284	Enhanced Reliability Design Automation Methodology considering the Generation of Parallel CRC Modules based on arbitrary CRC Polynomials and unlimited Data-Word Widths Timo Brenningmeyer University of Applied Sciences Os Add to Reading List Source URL: www.ecs.hs-osnabrueck.de Language: English - Date: 2012-04-13 13:29:50 Hardware description language Cyclic redundancy check Verilog Logic synthesis High-level synthesis CRC Register-transfer level Checksum Cksum Electronic engineering Electronic design automation Digital electronics
285	Emulex Enhances Design Productivity With Synopsys’ Advanced Verification Solutions “Emulex has built a strong working relationship with Synopsys over the past several years. Because of the confidence we’ve gained i Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:37:40 Hardware verification languages Electronic design automation SystemVerilog Emulex Electronic engineering Hillsboro Oregon Synopsys
286	EAGLE Version 6 – Create a project ans start drawing the schematic In this issue of our EAGLE series we want to create our first project and start drawing a schematic. Expand the „Projects“ branch of the tree view Add to Reading List Source URL: www.cadsoft.de Language: English - Date: 2014-06-04 05:55:09 Graphical user interface elements Electronic design automation Computer icon Pictograms Schematic Mouse Context menu Humanâ€“computer interaction System software Software
287	Topics in Knowledge Representation and Reasoning Optimizing Description Logic Subsumption Maryam Fazel-Zarandi DepartmentCompany Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 16:34:57 Logic in computer science Electronic design automation Formal methods NP-complete problems Reasoning Satisfiability Boolean satisfiability problem Description logic Knowledge representation and reasoning Theoretical computer science Science Mathematics
288	Saber Aerospace Overview Proven Robust Design Solution for Aerospace Mechatronic Systems Saber ® is the proven standard for mechatronic system design and verification. Aerospace design teams worldwide use Saber to devel Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-01-29 15:47:57 VHDL-AMS Synopsys Reliability engineering VHDL SystemC SPICE Verilog Aerospace engineering Modeling language Electronic engineering Hardware description languages Electronic design automation
289	Datasheet PrimeRail In-Design Rail Analysis for Place-and-Route Engineers Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:32:38 Electronic design Logic families Signoff Power gating Power network design Synopsys Design closure CMOS Electronic circuit simulation Electronic engineering Electronic design automation Digital electronics
290	Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-01 13:42:40 Mathematics Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Unit propagation Resolution Theoretical computer science Constraint programming Applied mathematics

UPDATE